DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

deduction theorem

techn. 演绎定理; 归约定理